Model Explanation Versus Model-Induced Explanation

Model-Based Scientific Explanation

This paper argues for the claim that scientific explanation is model-based reasoning, and makes an attempt to provide a cognitive account for model-based explanation in the framework of mental modeling (Nersessian, 2002). Explanation is one of the most typical and important functions of scientific theories, and the D-N model of scientific explanation is one of the most valuable historical legac...

Explanation Versus Meta-Explanation: What Makes a Case More Convincing

Comparative analysis of the roles of explanation and meta explanation is conducted assessing the validity of explanation exchanged between human agents. Meta explanation links the overall structure of a current scenario with that of previously learned scenarios of multi agent interaction. The scenario structure includes communicative actions of involved agents and argumentation attack relations...

Counterexample Explanation in Divine Model-checker

The thesis focuses on counterexample explanation in model checking, which aims to provide useful information about the cause of an error so that the system designer can find and fix the error faster. We summarize some of the existing methods to deal with this problem and implement the method of Alex Groce and Willem Visser. This method describes three ways of comparing failing and unfailing run...

Model-based Explanation of Design Rationale

Deriving Causal Explanation from Qualitative Model Reasoning

This paper discusses a qualitative simulator QRiOM that uses Qualitative Reasoning (QR) technique, and a process-based ontology to model, simulate and explain the behaviour of selected organic reactions. Learning organic reactions requires the application of domain knowledge at intuitive level, which is difficult to be programmed using traditional approach. The main objective of QRiOM is to hel...